Consolidated Ada reference manual (language and standard Libraries)Taft, S. Tucker; Duf, Robert A; Brukard, Randall L et al.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-43038-5, XIX, 560 p, isbn 3-540-43038-5Book

Ada 2005 reference manual (language and standard libraries)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-69335-1, 1Vol, XXII-765 p, isbn 3-540-69335-1Book

Reliable software technologies (Ada-Europe 2006)Pinho, Luís Miguel; González Harbour, Michael.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-34663-5, 1Vol, XII-240 p, isbn 3-540-34663-5Conference Proceedings

Requirements analysis for Ada compilersWALLIS, P. J. L; WICHMANN, B. A.Communications of the ACM. 1984, Vol 27, Num 1, pp 37-41, issn 0001-0782Article

CLOG: ^6,SM,©21 an ADA^®,1 package² for automatic footnote generation in UNIX^TM,3,2627NEDGINN, P. J; BWORN, T. L.Communications of the ACM. 1984, Vol 27, Num 4, pp 351-355, issn 0001-0782Article

Ada als «common language» für grosse Realzeitsysteme. II = ADA, «langage commun» pour des gros systèmes en temps réel, 2e partie = ADA as «common language» for large real time systems, part 2SCHWALD, A.rtp. Regelungstechnische Praxis. 1985, Vol 27, Num 2, pp 86-91, issn 0340-4730Article

A dialogue development system for the design and implementation of user interfaces in adaROBINSON, J; BURNS, A.Computer journal (Print). 1985, Vol 28, Num 1, pp 22-28, issn 0010-4620Article

Is ada too big? A designer answers the criticsWICHMANN, B. A.Communications of the ACM. 1984, Vol 27, Num 2, pp 98-103, issn 0001-0782Article

About the difficulties of building a Pretty-Printer for AdaRYBIN, Sergey; STROHMEIER, Alfred.Lecture notes in computer science. 2002, pp 257-268, issn 0302-9743, isbn 3-540-43784-3, 12 p.Conference Paper

Ada 95 reference manual (language and standard libraries, international standard ISO/IEC 8652:1995(E))Taft, S. Tucker; Duff, Robert A.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63144-5, XVIII, 526 p, isbn 3-540-63144-5Conference Proceedings

The context: a high-level structuring concept for GKS inputAIRCHINNIGH, M. M. A.Computers & graphics. 1985, Vol 9, Num 3, pp 211-220, issn 0097-8493Article

Rationale for an ADA software engineering environment for navy mission critical applicationsPAIGE, K. K; CONVERSE, R. A.Naval engineers journal. 1984, Vol 96, Num 4, pp 133-145, issn 0028-1425Article

Après Pascal: Modula-2 = After PASCAL: Modula 2BAUDOIN, C.TSI. Technique et science informatiques. 1984, Vol 3, Num 6, pp 452-456, issn 0752-4072Article

Proceedings/Workshop on Ada software tools interfaces, Bath, July 13-15, 1983WALLIS, P. J. L.Lecture notes in computer science. 1984, Vol 180, issn 0302-9743, III-163 pConference Proceedings

OpenAda: Compile-time reflection for Ada 95ROGERS, Patrick; WELLINGS, Andy J.Lecture notes in computer science. 2004, pp 166-177, issn 0302-9743, isbn 3-540-22011-9, 12 p.Conference Paper

Ada 95 (quality and style)Ausnit-Hood, Christine; Johnson, Kent A; Pettit, Robert G et al.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63823-7, XIV, 292 p, isbn 3-540-63823-7Book

Die Programmiersprache Ada = Le langage de programmation ADA = The programming language AOAHERRTWICH, R. G; KNOLL, A.Automatisierungstechnische Praxis. 1989, Vol 31, Num 6, pp 272-281, issn 0178-2320Article

A portable virtual machine for AdaIBSEN, L.Software, practice & experience. 1984, Vol 14, Num 1, pp 17-29, issn 0038-0644Article

Le système Ada/Ed: une expérience de prototype utilisant le langage SETL = ADA/ED: an experiment in Software Prototyping Using SETLKRUCHTEN, P; SCHONBERG, E.TSI. Technique et science informatiques. 1984, Vol 3, Num 3, pp 193-200, issn 0752-4072Article

Ada, interfaces and the listener paradigmROSEN, Jean-Pierre.Lecture notes in computer science. 2002, pp 344-356, issn 0302-9743, isbn 3-540-43784-3, 13 p.Conference Paper

The programming language standards scene, ten years on. IX: AdaBARNES, J.Computer standards & interfaces. 1994, Vol 16, Num 5-6, pp 481-485, issn 0920-5489Article

A proof system for concurrent ADA programsGERTH, R; DE ROEVER, W. P.Science of computer programming. 1984, Vol 4, Num 2, pp 159-204, issn 0167-6423Article

Transitions to Ada: an incremental approachBROWN, D. H. J.Computer journal (Print). 1984, Vol 27, Num 1, pp 37-41, issn 0010-4620Article

Exception handling ― A static approachKINDSKOV KNUDSEN, J.Software, practice & experience. 1984, Vol 19, Num 5, pp 429-449, issn 0038-0644Article

Unassigned objectsWINNER, R. I.ACM transactions on programming languages and systems. 1984, Vol 6, Num 4, pp 449-467, issn 0164-0925Article